Works by Shih Ping Tung

( view other items matching `Shih Ping Tung`, view all matches )
Order:
  1.  59
    Arithmetic definability by formulas with two quantifiers.Shih Ping Tung - 1992 - Journal of Symbolic Logic 57 (1):1-11.
    We give necessary conditions for a set to be definable by a formula with a universal quantifier and an existential quantifier over algebraic integer rings or algebraic number fields. From these necessary conditions we obtain some undefinability results. For example, N is not definable by such a formula over Z. This extends a previous result of R. M. Robinson.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  2.  37
    Algorithms for sentences over integral domains.Shih Ping Tung - 1990 - Annals of Pure and Applied Logic 47 (2):189-197.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark